Adjoint functors

Results: 460



#Item
51Presketches: Algebra without algebras via categories without functors Vaughan Pratt Stanford University April 2010 Abstract

Presketches: Algebra without algebras via categories without functors Vaughan Pratt Stanford University April 2010 Abstract

Add to Reading List

Source URL: boole.stanford.edu

Language: English - Date: 2010-04-08 06:04:04
52Adjoint functors and tree duality Jan Foniok ETH Zurich, Institute for Operations Research R¨ amistrasse 101, 8092 Zurich, Switzerland

Adjoint functors and tree duality Jan Foniok ETH Zurich, Institute for Operations Research R¨ amistrasse 101, 8092 Zurich, Switzerland

Add to Reading List

Source URL: iti.mff.cuni.cz

Language: English - Date: 2016-02-04 05:53:37
    53A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c

    A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c

    Add to Reading List

    Source URL: ect.bell-labs.com

    Language: English - Date: 2010-12-15 21:36:48
    54

    PDF Document

    Add to Reading List

    Source URL: fritzo.org

    Language: English - Date: 2014-06-13 18:57:34
    55HOPF CATEGORIES E. BATISTA, S. CAENEPEEL, AND J. VERCRUYSSE Abstract. We introduce Hopf categories enriched over braided monoidal categories. The notion is linked to several recently developed notions in Hopf algebra the

    HOPF CATEGORIES E. BATISTA, S. CAENEPEEL, AND J. VERCRUYSSE Abstract. We introduce Hopf categories enriched over braided monoidal categories. The notion is linked to several recently developed notions in Hopf algebra the

    Add to Reading List

    Source URL: homepages.vub.ac.be

    Language: English - Date: 2015-03-18 11:01:38
    56Relating Computational Effects by >>-Lifting Shin-ya Katsumata Research Institute for Mathematical Sciences Kyoto University, Kyoto, , Japan

    Relating Computational Effects by >>-Lifting Shin-ya Katsumata Research Institute for Mathematical Sciences Kyoto University, Kyoto, , Japan

    Add to Reading List

    Source URL: www.kurims.kyoto-u.ac.jp

    Language: English - Date: 2011-11-07 10:18:24
    57Coproducts of Monads on Set Jiˇr´ı Ad´amek, Stefan Milius Nathan Bowler Paul B. Levy

    Coproducts of Monads on Set Jiˇr´ı Ad´amek, Stefan Milius Nathan Bowler Paul B. Levy

    Add to Reading List

    Source URL: www.cs.bham.ac.uk

    Language: English - Date: 2012-06-05 09:36:57
    58Preorders on Monads and Coalgebraic Simulations Shin-ya Katsumata and Tetsuya Sato Research Institute for Mathematical Sciences, Kyoto University, Kyoto, , Japan {sinya,satoutet}@kurims.kyoto-u.ac.jp Abstract. W

    Preorders on Monads and Coalgebraic Simulations Shin-ya Katsumata and Tetsuya Sato Research Institute for Mathematical Sciences, Kyoto University, Kyoto, , Japan {sinya,satoutet}@kurims.kyoto-u.ac.jp Abstract. W

    Add to Reading List

    Source URL: www.kurims.kyoto-u.ac.jp

    Language: English - Date: 2013-03-26 18:38:51
    59arXiv:submitmath.AG] 19 FebAbsolute algebra and Segal’s Gamma sets Alain Connes and Caterina Consani Abstract We show that the basic categorical concept of an s-algebra as derived from the theory

    arXiv:submitmath.AG] 19 FebAbsolute algebra and Segal’s Gamma sets Alain Connes and Caterina Consani Abstract We show that the basic categorical concept of an s-algebra as derived from the theory

    Add to Reading List

    Source URL: www.alainconnes.org

    Language: English - Date: 2015-02-21 08:57:02
    60Exponentiable functors between quantaloid-enriched categories Maria Manuel Clementino∗, Dirk Hofmann† and Isar Stubbe‡ July 3, 2007§ Abstract. Exponentiable functors between quantaloid-enriched categories are

    Exponentiable functors between quantaloid-enriched categories Maria Manuel Clementino∗, Dirk Hofmann† and Isar Stubbe‡ July 3, 2007§ Abstract. Exponentiable functors between quantaloid-enriched categories are

    Add to Reading List

    Source URL: www-lmpa.univ-littoral.fr

    Language: English - Date: 2009-12-14 11:58:39